צילום מסך תוכנה:
SofCheck מפקח הוא כלי ניתוח סטטי שמגלה שגיאות בbytecodes Java. היא משתמשת בשליטת זרימת סטטי, נתוני זרימה, וטכניקות התפשטות ההגדרה אפשרי-ערך (PVP) לזהות מקומות שבם שגיאות זמן ריצה עלולות להתרחש. טכניקת איכות תוכנה אוטומטית זה מספק 100% כיסוי נתיב ומאפשרת פגמים להיות מזוהים וחיסלו מאוד בשלב מוקדם של מחזור חיי תוכנה, לפני זמן ריצה. מפקח יוצר תנאים מוקדמים וpostconditions המאפיינים את ההתנהגות של קוד ג'אווה ושימושיים לבדיקות קוד קופסא הלבנות. הוא מזהה תנאי מרוץ, אינדקס מחוץ לתחום, עולה על גדותיו, לחלק באפס, קוד מת, מטלות שאינן בשימוש, בדיקות תמיד הולכים בדרך אחת, או יוצאים מן הכלל נזרק. זוהי גרסת ניסיון 45 יום עם התמיכה בעד 200 כיתות. המוצר מכיל גרסה של JRE של סאן
דרישות :.
Windows XP / Server 2003
מגבלות :
<משפט> 45 יום-p
תגובות לא נמצא